LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Categorical systems theory
topos.instituteยท7h
๐Ÿ”—Category Theory
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท15h
๐Ÿ”ML Language
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
๐ŸงฎCombinator Calculus
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Languages
An enough week
blog.mitrichev.chยท23hยท
๐ŸŒฒDeforestation
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.atยท23hยท
Discuss: Hacker News
๐Ÿlisp
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
AI SDK Streaming Text from Lambda
dev.toยท2dยท
Discuss: DEV
๐ŸŒ™Lua
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
Nonlinear phase gates as Airy transforms of the Wigner function
nature.comยท5h
โˆ€Quantified Types
GaloisInc/parameterized-utils
github.comยท2d
๐Ÿ“Linear Haskell
Unforgettable factory revisited
holyblackcat.github.ioยท14hยท
Discuss: r/cpp
๐Ÿช†Embedded DSLs
Patience and Willingness to Be Slow
lesswrong.comยท6h
๐Ÿ’ฌInteractive REPLs
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.comยท2hยท
Discuss: r/cpp
๐ŸงฎCombinator Calculus
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.comยท3hยท
Discuss: r/rust
โšกPartial Evaluation